$\forall$$n$, $m$:$\mathbb{N}$, $f$:($\mathbb{N}$$_{\mbox{\scriptsize $<$$n$}}$$\rightarrow\mathbb{N}$$_{\mbox{\scriptsize $<$$m$}}$$\rightarrow\mathbb{Z}$). sum($f$($x$,$y$) $\mid$ $x$ $<$ $n$; $y$ $<$ $m$) $\in$ $\mathbb{Z}$